Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Energy System Interaction and Relative Contribution During Maximal Exercise

Année:
2001
Langue:
english
Fichier:
PDF, 206 KB
english, 2001
16

Role of a Self-report Measure in Athlete Preparation

Année:
2015
Langue:
english
Fichier:
PDF, 123 KB
english, 2015
19

Building Without a Plan

Année:
2013
Langue:
english
Fichier:
PDF, 137 KB
english, 2013
26

Soldier monitoring: A systematic review

Année:
2017
Langue:
english
Fichier:
PDF, 66 KB
english, 2017
32

LTL Is Expressively Complete for Mazurkiewicz Traces

Année:
2002
Langue:
english
Fichier:
PDF, 205 KB
english, 2002
33

Decidability of the Star Problem in A∗ × {b}∗

Année:
1992
Langue:
english
Fichier:
PDF, 620 KB
english, 1992
34

The poset of infinitary traces

Année:
1993
Langue:
english
Fichier:
PDF, 1.54 MB
english, 1993
35

From local to global temporal logics over Mazurkiewicz traces

Année:
2006
Langue:
english
Fichier:
PDF, 225 KB
english, 2006
36

Asynchronous cellular automata for pomsets

Année:
2000
Langue:
english
Fichier:
PDF, 418 KB
english, 2000
37

Resource traces: a domain for processes sharing exclusive resources

Année:
2002
Langue:
english
Fichier:
PDF, 209 KB
english, 2002
38

A truly concurrent semantics for a process algebra using resource pomsets

Année:
2002
Langue:
english
Fichier:
PDF, 498 KB
english, 2002
39

On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables

Année:
2008
Langue:
english
Fichier:
PDF, 485 KB
english, 2008
40

Approximating traces

Année:
1998
Langue:
english
Fichier:
PDF, 280 KB
english, 1998
41

Timed substitutions for regular signal-event languages

Année:
2007
Langue:
english
Fichier:
PDF, 960 KB
english, 2007
42

Distributed synthesis for well-connected architectures

Année:
2009
Langue:
english
Fichier:
PDF, 613 KB
english, 2009
43

Un modèle asynchrone pour les systèmes distribués

Année:
1990
Fichier:
PDF, 4.25 MB
1990
44

An extension of Kleene's and Ochmański's theorems to infinite traces

Année:
1994
Langue:
english
Fichier:
PDF, 2.38 MB
english, 1994
45

Preface

Année:
1995
Langue:
english
Fichier:
PDF, 45 KB
english, 1995
46

Weighted automata and weighted logics

Année:
2007
Langue:
english
Fichier:
PDF, 406 KB
english, 2007
48

Local temporal logic is expressively complete for cograph dependence alphabets

Année:
2004
Langue:
english
Fichier:
PDF, 306 KB
english, 2004
49

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Année:
2006
Langue:
english
Fichier:
PDF, 358 KB
english, 2006
50

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

Année:
2010
Langue:
english
Fichier:
PDF, 457 KB
english, 2010